Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Jan Otop (Wroclaw University), one month in March 2012

• Markulf Kohlweiss (Microsoft Cambridge), one week in April 2012

• Bogdan Warinshi (Bristol University), one week in May 2012

• Myrto Arapinis (University of Birmingham), three weeks in July 2012

• Mark Ryan (University of Birmingham), one week in July 2012

• Serdar Erbatur (SUNY Albany), two months in October–November 2012

• John Mullins (Ecole Polytechnique de Montréal), one week, February 2012.

• Hanifa Boucheneb, (Ecole Polytechnique de Montréal), one month in March 2012

Internships

• Aurel Josias Randolph (from Apr 2012 until May 2012)

  • Subject: Specifying and verifying access control policies for collaborative editors

  • Institution: Polytechnic School of Montreal (Canada)

• Ghazi Maatoug (from Mar 2012 until Jul 2012)

  • Subject: Verification of protocols, analysis of symbolic trace and simulated execution

  • Institution: Ecole Supérieure des Communications de Tunis (Tunisia)

• Apoorva Desphande (from Jul 2012 until Nov 2012)

  • Subject: Verification of equivalence properties in security protocols

  • Institution: BITS Pilani University (India)

• Anshul Malhotra (from Dec 2012 until Jan 2013)

  • Subject: Efficient implementation of a procedure for the verification of equivalence properties

  • Institution: IIT Delhi (India)

Visits to International Teams

• Véronique Cortier, February 2012 (one week), Bristol University (collaboration with Bogdan Warinschi)

• Christophe Ringeissen and Laurent Vigneron, December 2012 (two weeks), UTFSM Valparaíso (Inria Associate Team BANANAS)